natural deduction system
[网络] 自然演绎系统；自然推理系统；自然演译系统
热门查询
- utmost n. 极限；最大可能 adj. 极度的；最远的
- Purdy [人名] [英格兰人姓氏] 珀迪绰号，常说盎格鲁诺曼底法语咒语pur die的人，来源于古法语，含义是“的的确确”(by God); [地名] [美国] 珀迪
- MSS abbr. 多光谱扫描器；手稿（manuscript）
- cornet n. 短号；圆锥形纸袋 n. (Cornet)人名；(法、罗)科尔内
- needed adj. 需要的 v. 需要（need的过去式）
- rendezvous n. 约会；约会地点；集结地 vi. 会合；约会 vt. 在指定地点与…相会
- Stevenage n. 斯蒂夫尼奇（英国东南赫特福德郡北部城镇）
- unstrap vt. 解开皮带
- resourced adj. 实力雄厚的；钱财充足的；设施优良的
- paternalist adj. 家长作风的；家长式统治的 n. 家长主义者；实行家长制统治的人
- nextstep 一种操作系统
- winningly adv. 娇媚地；迷人地
- unfeigned adj. 真实的，不虚伪的
- roundworm n. 蛔虫
- Pahl [人名] 帕尔
- Heysham n. 希舍姆（英格兰港口）
- barrel n. 桶；枪管，炮管 vt. 把……装入桶内 vi. 快速移动 n. (Barrel)人名；(法、意)巴雷尔
- bedeck vt. 装饰；修饰
- golfing n. 打高尔夫球 v. 打高尔夫球（golf的ing形式）
- disorderly adj. 混乱的，无秩序的；骚乱的；无法无天的 adv. 杂乱地，无秩序地
考试词汇表
- mean cardiac index
- mean celestial day
- mean cell diameter
- mean chord of wing
- mean coil diameter
- mean concentration
- mean cone distance
- mean cone-distance
- mean conjugate net
- mean deviation(md)
- mean doubling time
- mean effectiveness
- mean ejection rate
- mean erosion depth
- mean error ellipse
- mean erythema dose
- mean establishment
- mean exposure time
- mean fall velocity
- mean fatigue cycle
